Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
11	Kagan Tumer Nomination for the IFAAMAS BOARDKagan Tumer is a Professor at Oregon State University, and the director of the multidisciplinary Graduate Robotics Program (OSU is one of only five universities in the Add to Reading List Source URL: www.aamas-conference.org Language: English - Date: 2016-03-14 20:09:08 Artificial intelligence International Conference on Autonomous Agents and Multiagent Systems Systems science Multi-agent systems Academia Models of computation International Conference On Intelligent Robots and Systems Agent-based model
12	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Logic Model theory Mathematics Computability theory Models of computation Formal languages Lambda calculus Theoretical computer science First-order logic Structure Interpretation
13	Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:16 Mathematics Algebra Mathematical logic Relational model Models of computation Logic in computer science Database theory Lambda calculus Relational algebra Tuple Finitary relation Combinatory logic
14	MPC vs. SFE: Perfect Security in a Unified Corruption Model ? Zuzana Beerliov´a-Trub´ıniov´a, Matthias Fitzi, Martin Hirt, Ueli Maurer, and Vassilis Zikas Department of Computer Science, ETH Zurich {bzuzana,fitzi,hir Add to Reading List Source URL: www.cs.rpi.edu Language: English - Date: 2011-02-19 14:29:40 Cryptography Secure multi-party computation Secure two-party computation Ciphertext indistinguishability Consensus Secret sharing IP Control theory
15	Raising Level of Abstraction with Partial Models: A Vision Marsha Chechik1 , Arie Gurfinkel2 , Sebastian Uchitel3 , and Shoham Ben-David1 1 3 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-31 06:33:48 Software engineering Formal methods Models of computation Computing Engineering Model checking Object Process Methodology Conceptual model MTSS Scientific modelling Refinement Transition system
16	Microsoft Word - CFPDraft- PN Add to Reading List Source URL: petrinets2014.cnam.fr Language: English - Date: 2013-06-24 11:01:34 Concurrency Models of computation Petri nets Theoretical computer science International Conference on Applications and Theory of Petri Nets and Concurrency Software engineering Diagrams Computing Model checking Wil van der Aalst Petri
17	! An Agent-Based Approach to Modeling Membrane Formation Bryan Head, Kai Orton, Uri Wilensky Center for Connected Learning and Computer-Based Modeling Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2016-05-03 12:24:06 Academia Systems science Membrane biology Biology Systems theory Scientific modeling Models of computation Organelles Cell membrane Agent-based model Biological membrane Scientific modelling
18	Approximating the Size of a Radio Network in Beeping Model Philipp Brandes1 , Marcin Kardas2 , Marek Klonowski2 , Dominik Pająk2 , and Roger Wattenhofer1 ? 1 2 Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2016-07-19 07:32:17 Computational complexity theory Analysis of algorithms Theory of computation Mathematics Probability theory Mathematical notation Leader election Randomized algorithm Big O in probability notation Time complexity -net
19	Strong systematicity in sentence processing by simple recurrent networks Phil´emon Brakel () Stefan L. Frank () Institute for Logic, Language, and Computation, University of Amsterdam Sci Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2012-03-11 05:05:11 Computational neuroscience Cognitive science Artificial neural networks Cognition Cybernetics Markov models Statistical natural language processing Recurrent neural network Language model Connectionism Convolutional neural network Transformational grammar
20	Petri Nets in Secondary CS Education Michael Rücker Niels Pinkwart Humboldt-Universität zu Berlin Add to Reading List Source URL: cses.informatik.hu-berlin.de Language: English - Date: 2014-11-13 08:07:59 Concurrency Models of computation Diagrams Petri nets Software engineering Petri Lesson plan Conceptual model Education Abstraction Nets within Nets